منابع مشابه
La donnée est-elle soluble dans la mobiquité ?
Business process models have gained significant importance due to their critical role for managing business processes. Still, process models display a wide range of quality problems. For example, literature reports on error rates between 10% and 20% in industrial process model collections. Most research in the context of quality issues in process models puts a strong emphasis on the product or ...
متن کاملAlgèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملApprentissage statistique et programmation génétique: la croissance du code est-elle inévitable?
N. Bredeche, S. Gelly, M. Schoenauer, O. Teytaud. A Statistical Learning Approach to bloat and universal consistency in genetic programming. Poster of Gecco 2005. S. Gelly, O. Teytaud, N. Bredeche, M. Schoenauer. Apprentissage statistique et programmation genetique : la croissance du code est-elle inevitable ? pp163-178. Proceedings of CAP’2005. Universal Consistency, the convergence to the min...
متن کاملDouble anévrisme Sylvio-mésentérique révélant une endocardite infectieuse
Résumé L'endocardite infectieuse est une urgence qui est diagnostiquée classiquement dans le cadre d'un syndrome infectieux associé à un souffle auscultatoire cardiaque. Elle peut mettre en jeu le pronostic vital via ses complications. Nous rapportons le cas d'une endocardite révélée suite à des manifestations neuro-abdominalesliées à un double anévrisme mycotiquesylvio-mésenterique et qui a bi...
متن کاملQu'est ce qu'un bon modèle?
Un modèle formel est une représentation mathématique, abstraite et toujours approchée d’un système réel. Il représente une certaine vue de ce système. Il est le résultat d’une démarche cognitive complexe qui progressivement rend formel et explicite un ensemble d’exigences, de contraintes, de connaissances informelles et partiellement implicites. Une automatisation d’un tel processus paraı̂t bien...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revue de l'OFCE
سال: 2007
ISSN: 1265-9576,1777-5647
DOI: 10.3917/reof.101.0399